Elipmoc: advanced decompilation of Ethereum smart contracts

Smart contracts on the Ethereum blockchain greatly benefit from cutting-edge analysis techniques and pose significant challenges. A primary challenge is extremely low-level representation of deployed contracts. We present Elipmoc, a decompiler for next generation smart contract analyses. Elipmoc an evolution Gigahorse, top research decompiler, dramatically improving over it other state-of-the-art tools, by employing several high-precision making them scalable. Among these are new kind context sensitivity (termed “transactional sensitivity”) that provides more effective static abstraction distinct dynamic executions; path-sensitive (yet scalable, through path merging) algorithm inference function arguments returns; fully sensitive private reconstruction process. As result, security analyses reverse-engineering tools built achieve high scalability, precision completeness. improves all notable past decompilers, including its predecessor, industrial tool, Panoramix, integrated into explorer, Etherscan. produces decompiled with resolved operands at rate 99.5% (compared to 62.8% Gigahorse), achieves much higher completeness in code decompilation than Panoramix—e.g., up 67% coverage external call statements—while being 5x faster. has been enabler recent (independent) discoveries exploitable vulnerabilities popular protocols, funds many millions dollars.